زمستان 91

نشریه زمستان 91

پاییز و زمستان 91

Schoonschip '91

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

Isabelle-91

Min introduces the type form (of object-formulae) and the infix constant −→ (for objectimplication). The constant [[ ]] maps form to the predefined type prop of meta-logic propositions. The proposition [[P ]] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-p...

85 - 91 Nzira Lukwa.pmd

Mosquito repellent plants are used in the rural areas of Zimbabwe despite the fact that very few of them have been biologically evaluated. Leaves of the plant Lippia javanica, were collected from Mumurwi village, Zimbabwe and evaluated for repellency against laboratory reared Aedes aegypti mosquitoes. Major plant compounds were identified using Thin Layer Chromatography (TLC) and Mass Spectrome...

Tf-uiht120004 91..101

Context: Electronic cigarettes (e-cigarettes) are becoming increasingly popular yet their effects on health remain unknown. Objective: To conduct the first comprehensive and standardized assessment of the acute impact of active and passive e-cigarette smoking on serum cotinine and lung function, as compared to active and passive tobacco cigarette smoking. Materials and methods: Fifteen smokers ...